Having an isomorphism between two groups.